How Restaurants Cook Their Broccoli.